退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:验证Web服务组合的时间和认知属性⋆
Alessio Lomuscio; Hongyang Qu; Marek Sergot; Monika Solanki;
机译:基于谓词抽象的安全属性Web服务组成验证
机译:基于谓词抽象的Web服务组成安全性验证
机译:基于谓词抽象的安全性质的Web服务成分验证
机译:验证Web服务组合的时间和认知属性
机译:Web服务组合的可量化的非功能需求建模和静态验证。
机译:使用增强的堆栈自动机模型的Web服务组合的验证策略
机译:使用时态逻辑模板验证Web服务组合的事务要求
机译:模型驱动的Web服务开发和动态Web服务组合;博士论文
机译:互联网(万维网,“ www”)基于客户/实体定义的标准,零售或以其他方式按规则的时间增量(带有推送通知)定制时间刮取/采购服务。适用于www上任何有形或无形的可购买或免费项目。包括对付费用户(即企业)的输出/市场需求数据和//报告。后端代码,网站功能,相同功能的应用程序(iOS,Android)以及相关浏览器附加服务的自动自定义标准网络抓取方法的方法的专利。
机译:基于统一电话地址获取基于Web的硬件和软件的在线状态,身份验证,验证,授权,通信和交易服务的方法和系统,以及数字证书(dc)的组成,发行和管理提供的方法基于DC和公钥基础结构(PKI)的多层DC分配模型和多个帐户访问
机译:基于模型的Web服务组合安全策略验证方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。